Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
811	Implementing Joins using Extensible Pattern Matching Philipp Haller, EPFL joint work with Tom Van Cutsem, Vrije Universiteit Brussel Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Functional languages Microsoft Research Joins Scala ATS Pattern matching Guard Data types Computing Software engineering Computer programming
812	STAR TREK © Jens-Helge Dahmen Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:45 Declarative programming Fold Anamorphism Origami Yoshizawa-Randlett system Structural geology Software engineering Functional programming
813	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
814	DFScala: High Level Dataflow Support for Scala Daniel Goodman, Salman Khan, Chris Seaton, Yegor Gusgov, Behram Khan, Mikel Luján and Ian Watson Workshop on Data-Flow Execution Models for Extreme Scala Computing Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Functional languages Java platform Subroutines Pattern matching Scala Parallel computing Dataflow Anonymous function Alice Computing Software engineering Computer programming
815	Actors that Unify Threads and Events Philipp Haller, EPFL joint work with Martin Odersky, EPFL Implementing Concurrent Processes Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:29 Functional languages Concurrent computing Java platform Scala Erlang Actor model Thread Parallel computing Martin Odersky Computing Software engineering Computer programming
816	On the Integration of the Actor Model into Mainstream Technologies A Scala Perspective Philipp Haller Typesafe, Inc. Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 03:52:53 Cross-platform software Functional languages Java platform Concurrent computing Type theory Scala Actor model Erlang Continuation Computing Software engineering Computer programming
817	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
818	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
819	Meta-tracing makes a fast Racket Carl Friedrich Bolz Tobias Pape Jeremy Siek Add to Reading List Source URL: www.lifl.fr Language: English - Date: 2014-06-02 05:10:38 Functional languages Programming language implementation PyPy Racket AOT compiler Just-in-time compilation Interpreter Continuation Static single assignment form Computing Software Compiler construction
820	Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-04-29 12:24:51 Computer programming Adjoint functors Data types Monad Type theory Strong monad Type class Haskell Monoid Declarative programming Software engineering Functional programming

UPDATE